Theorem proving
[计] 定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
My instructor thought that the beginner's class was too easy for me.
老师认为初级课程对我来说太容易了。
Have but few friends though many acquaintances.
朋友要少，熟人要多。
They finally found a small gold coin which was almost worthless.
但最后找到的是一枚几乎一钱不值的小金币。